Knihy od autora Kim G. Larsen

Zobrazené 1 – 9 z 9 výsledkov

1. 

   Formal Modeling and Analysis of Timed Systems

   Kim G. Larsen, Peter Niebert | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.69 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
2. 

   Computer Aided Verification

   Kim G. Larsen, Arne Skou | Springer, Berlin, 1992

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.69 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
3. 

   Automata, Languages and Programming

   Kim G. Larsen, Sven Skyum, Glynn Winskel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   109.36 €

   Kúpiť
4. 

   Models, Mindsets, Meta: The What, the How, and the Why Not?

   Susanne Graf, Kim G. Larsen, Tiziana Margaria | Springer Nature Switzerland AG, 2019

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.69 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
5. 

   Computer Aided Verification

   Ed Brinksma, Kim G. Larsen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   102.99 €

   Zľava 7 %

   Ušetríte 8.63 €

   Kúpiť
6. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 1995

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.69 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
7. 

   Quantitative Model-Based Analysis of Real-Time Embedded Systems

   Kim G. Larsen, Jan Tretmans, Brian Nielsen | Springer Netherlands, 2015

   
   

   50 % šanca - Prehľadáme celý svet

   Jazyk: Angličtina

   Väzba: Pevná

   154.59 €

   Kúpiť
8. 

   Dependable Software Engineering. Theories, Tools, and Applications

   Kim G. Larsen, Oleg Sokolsky, Ji Wang | Springer International Publishing AG, 2017

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.69 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
9. 

   CONCUR 2001 - Concurrency Theory

   Kim G. Larsen, Mogens Nielsen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.69 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť

Vracajúci sa zákazníci majú zľavy a ďalšie benefity. Zistite viac